研究了模糊命题演算的形式演绎系统T^*和修正的Kleene逻辑系统W^-,W,Wk及R0－代数，给出了T^* 系统的半对偶形式系统ST^－＊；与交推理规则相......

研究了模糊命题演算的一种形式演绎系统T^*-和修正的Kleene逻辑系统W^-,W,Wk及R0-代数，给出了T^*-系统的一种弱完全对偶形式系统WCT......

研究了王国俊教授建立的模糊命题演算的形式演绎系统T^*及与之在语义上相关的R0－代数，讨论了R0－代数中混合运算×：a×b＝＿（a→_b)......